English translation for "propositional calculus"

句子逻辑
命题逻辑
命题演算

Related Translations:

propositional:  建议的提议的主张的

propositional act:  命题行为

propositional knowledge:  陈述性知识命题性知识

propositional connective:  命题联结词

propositional symbol:  命题符号

propositional tree:  命题树

propositional thinking:  判断性思维

propositional representation:  命题表征

propositional function:  命题函数

propositional content:  命题内容

Example Sentences:

	1.	2 . numerais system of propositional calculus nend netwrk deals with data , but it is a formula set in proposihonal calculus 命题逻辑系统的数字化神经网络的处理对象是数据，而命题逻辑系统的处理对象是命题公式集。
	2.	In automated theorem pidving , auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt 在自动推理理论与应用的研究中，命题逻辑系统中的方法和内容具有广泛的适用性。
	3.	The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information 中介逻辑命题演算系统mp ~ m和中介逻辑谓词演算系统mf ~ m是一种适用于处理不完全信息的新的逻辑系统。
	4.	The conclusion points out tha evaltalon propositional calculus is sbole extension of hsitional calculus . mnle , the authr deeply studies to get ch medl sets , and gets some conclusion 同时，在已有关于horn近似的快速推理研究的基础上，对如何尽快寻找模型集中的极小模型进行更深入的研究，得出若干结论。
	5.	In this paper , a new type algebra is introduced , it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus . the main purpose of this paper is to investigate the various properties of the new algebra . in addition , this paper constructs an axiom set based on the medium logic propositional calculus system mpm , and gives a proof of its completeness 本文通过对mpm中介逻辑命题演算系统进行代数抽象,建立了一个新的代数系统,讨论了该代数系统的性质,并利用该代数系统的代数性质构造了中介命题演算系统mpm上的一个公理完备集合,使用该公理集合可以方便的推导出mpm上的等值和互推公式,这对于处理不完全信息数据库的查询优化有着重要作用。
	6.	The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system . this system is fit for dealing with incomplete information . it can act as the theory foundation for dealing with incomplete information 中介逻辑命题演算系统mpm和中介逻辑谓词演算系统mfm是在改造原有的中介逻辑系统的基础上提出的一种新的逻辑系统,该逻辑系统特别适用于处理不完全信息,可以作为处理不完全信息的理论基础。

Similar Words：

"proposition matrix" English translation, "proposition of law" English translation, "propositional" English translation, "propositional act" English translation, "propositional algebra" English translation, "propositional code theory" English translation, "propositional coding theory" English translation, "propositional connective" English translation, "propositional constant" English translation, "propositional content" English translation